7
7.0
Oct 26, 2020
10/20
by
Davis, Philip J., 1923-
texts
eye 7
favorite 1
comment 0
xlvi, 242 p. : 24 cm
Topics: Logic, Symbolic and mathematical -- Methodology, Reasoning, Common sense, Knowledge, Theory of
Folkscanomy: A Library of Books
466
466
Dec 29, 2015
12/15
by
JELIA (Conference) (9th : 2004 : Lisbon, Portugal); Alferes, José Júlio; Leite, João Alexandre
texts
eye 466
favorite 0
comment 0
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings Author: Jóse Júlio Alferes, João Leite Published by Springer Berlin Heidelberg ISBN: 978-3-540-23242-1 DOI: 10.1007/b100483 Table of Contents: Representing and Reasoning with Preferences Engineering of Logics for the Content-Based Representation of Information Formal Methods in Robotics Games for Cognitive Agents Knowledge-Theoretic Properties of Strategic Voting The...
Topics: Artificial intelligence, Logic, Symbolic and mathematical, Intelligence artificielle, Logique...
12
12
Jun 11, 2018
06/18
by
FroCoS (Symposium) (4th : 2002 : Santa Margherita Ligure, Italy)
texts
eye 12
favorite 0
comment 0
viii, 254 pages : 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Computer science -- Congresses, Logique symbolique...
27
27
Aug 9, 2019
08/19
by
Thomason, Richmond H
texts
eye 27
favorite 1
comment 0
xiii, 367 p. ; 24 cm
Topic: Logic, Symbolic and mathematical
259
259
Aug 23, 2011
08/11
by
Kelly, John J. (John Joseph), 1940 Nov. 23-1995
texts
eye 259
favorite 2
comment 0
Includes bibliographical references (p. 250) and index
Topics: Computer science, Logic, Symbolic and mathematical
24
24
Jun 14, 2019
06/19
by
Hooker, John, 1949-
texts
eye 24
favorite 0
comment 0
xvi, 495 p. : 25 cm
Topics: Linear programming, Mathematical optimization, Logic, Symbolic and mathematical
1
1.0
texts
eye 1
favorite 0
comment 0
vi, 424 p. ; 25 cm
Topics: Computer programs -- Congresses, Logic, Symbolic and mathematical -- Congresses
5
5.0
Dec 19, 2020
12/20
by
Habel, A. (Annegret)
texts
eye 5
favorite 0
comment 0
x, 214 pages : 25 cm
Topics: Computer science, Graph grammars, Informatique, Grammaires de graphes, Graph-Grammatik, Hypergraph,...
5
5.0
Oct 23, 2020
10/20
by
Barwise, Jon
texts
eye 5
favorite 0
comment 0
xvii, 255 pages : 26 cm +
Topics: Hyperproof, Computer science, Logic, Symbolic and mathematical, Macintosh (Computer), Informatica,...
92
92
Nov 11, 2019
11/19
by
Lewis, Harry R
texts
eye 92
favorite 3
comment 0
xiv, 466 pages : 24 cm
Topics: Automatentheorie, Informatica, Fonctions calculables, Complexité de calcul (informatique), Formal...
2
2.0
texts
eye 2
favorite 0
comment 0
x, 270 p. : 24 cm
Topics: Formal languages -- Congresses, Logic, Symbolic and mathematical -- Congresses
13
13
Sep 3, 2019
09/19
by
Boolos, George
texts
eye 13
favorite 0
comment 0
x, 285 p. ; 24 cm
Topics: Computable functions, Logic, Symbolic and mathematical, Recursive functions
Source: removedNEL
10
10.0
Oct 25, 2018
10/18
by
Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic)
texts
eye 10
favorite 0
comment 0
xi, 348 pages : 24 cm
Topics: Automatic theorem proving -- Congresses, Logic, Symbolic and mathematical -- Congresses,...
15
15
Sep 6, 2019
09/19
by
Grandy, Richard E
texts
eye 15
favorite 0
comment 0
xi, 167 p. : 23 cm
Topic: Logic, Symbolic and mathematical
35
35
texts
eye 35
favorite 0
comment 0
viii, 384 p. : 24 cm
Topics: Logic, Symbolic and mathematical, Reasoning
9
9.0
Sep 16, 2019
09/19
by
Biri͡ukov, B. V. (Boris Vladimirovich)
texts
eye 9
favorite 0
comment 0
101 p. 23 cm
Topics: Frege, Gottlob, 1848-1925, Logic, Symbolic and mathematical
26
26
Apr 11, 2019
04/19
by
Descartes, René, 1596-1650
texts
eye 26
favorite 0
comment 0
151 p. 19 cm
Topics: Logic, Symbolic and mathematical, Reasoning
Logics in Artificial Intelligence: European Workshop, JELIA 2000 Málaga, Spain, September 29 – October 2, 2000 Proceedings Author: Manuel Ojeda-Aciego, Inma P. de Guzmán, Gerhard Brewka, Luís Moniz Pereira Published by Springer Berlin Heidelberg ISBN: 978-3-540-41131-4 DOI: 10.1007/3-540-40006-0 Table of Contents: ‘On Being Informed’: Update Logics for Knowledge States Considerations on Updates of Logic Programs The Semi-qualitative Reasoning about Distances: A Preliminary Report...
Topics: Artificial intelligence, Logic, Symbolic and mathematical
Bibliography: p. 45-46
Topics: Formal languages, Logic, Symbolic and mathematical
This volume was digitized and made accessible online due to deterioration of the original print copy.
Topics: Industrial location, Logic, Symbolic and mathematical.
1
1.0
Jul 31, 2019
07/19
by
Lindström, Per, 1936-
texts
eye 1
favorite 0
comment 0
16 p. ; 21 cm
Topics: Logic, Symbolic and mathematical, Model theory
124
124
Sep 6, 2019
09/19
by
Gentzen, Gerhard
texts
eye 124
favorite 4
comment 0
xii, 338 p., 2 p. of photos. ; 23 cm
Topics: Logic, Symbolic and mathematical, Metamathematics
59
59
Aug 31, 2019
08/19
by
Hatcher, William S
texts
eye 59
favorite 3
comment 0
xiii, 327 p. : 25 cm
Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy
21
21
Aug 13, 2019
08/19
by
Couturat, Louis, 1868-1914
texts
eye 21
favorite 1
comment 0
100 p
Topic: Logic, Symbolic and mathematical
88
88
Sep 30, 2010
09/10
by
Paulos, John Allen
texts
eye 88
favorite 2
comment 0
Includes bibliographical references (p. [203]-205) and index
Topics: Mathematical statistics, Logic, Symbolic and mathematical, Lógica simbólica y matemática,...
9
9.0
Nov 19, 2020
11/20
by
Ostrow, Matthew B., 1961-
texts
eye 9
favorite 0
comment 0
1 online resource (xi, 175 pages)
Topics: Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus, Wittgenstein, Ludwig, 1889-1951...
This volume was digitized and made accessible online due to deterioration of the original print copy.
Topics: Automatic theorem proving, Logic, Symbolic and mathematical, Predicate calculus--Data processing,...
35
35
Sep 5, 2019
09/19
by
International Congress for Logic, Methodology, and Philosophy of Science (2d : 1964 : Jerusalem)
texts
eye 35
favorite 1
comment 0
viii, 440 p. : 24 cm
Topics: Logic, Symbolic and mathematical -- Congresses, Science -- Methodology -- Congresses, Science --...
67 p. : 27 cm
Topic: Logic, Symbolic and mathematical
Folkscanomy: A Library of Books
98
98
Dec 29, 2015
12/15
by
International Colloquium on Grammatical Inference (7th : 2004 : Athens, Greece); Paliouras, Georgios, 1970-; Sakakibara, Yasubumi
texts
eye 98
favorite 0
comment 0
Author: Published by ISBN: DOI: Table of Contents:
Topics: Formal languages, Logic, Symbolic and mathematical
Folkscanomy: A Library of Books
255
255
Dec 29, 2015
12/15
by
International Conference on Formal Concept Analysis (2nd : 2004 : Sydney, N.S.W.); Eklund, Peter W., 1962-; SpringerLink (Online service)
texts
eye 255
favorite 0
comment 0
Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings Author: Peter Eklund Published by Springer Berlin Heidelberg ISBN: 978-3-540-21043-6 DOI: 10.1007/b95548 Table of Contents: Preconcept Algebras and Generalized Double Boolean Algebras Protoconcept Graphs: The Lattice of Conceptual Contents Signs and Formal Concepts A Mathematical Model for TOSCANA-Systems: Conceptual Data Systems BLID: An Application of...
Topics: Lattice theory, Comprehension (Theory of knowledge), Information theory, Artificial intelligence,...
2
2.0
Jul 2, 2021
07/21
by
King, Andrew, 1961-
texts
eye 2
favorite 0
comment 0
32 pages : 28 cm
Topics: Mathematical recreations, Logic, Symbolic and mathematical -- Study and teaching
34
34
Mar 24, 2020
03/20
by
McDonough, Richard M., 1950-
texts
eye 34
favorite 1
comment 0
xii, 311 pages ; 24 cm
Topics: Language and languages Philosophy, Wittgenstein, Ludwig 1889-1951 Tractatus logico-philosophicus,...
14
14
Aug 10, 2019
08/19
by
Rosser, J. Barkley (John Barkley), 1907-
texts
eye 14
favorite 2
comment 0
124 p. ; 22 cm
Topic: Logic, Symbolic and mathematical
600
600
Apr 12, 2009
04/09
by
Venn, John, 1834-1923
texts
eye 600
favorite 0
comment 0
Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.
Topics: Chance, Probabilities, Science, Logic, Symbolic and mathematical
Source: http://books.google.com/books?id=DeyOZkBUVoAC&oe=UTF-8
9
9.0
Sep 9, 2019
09/19
by
Faris, John Acheson
texts
eye 9
favorite 1
comment 0
vii, 147 p. ; 18 cm
Topic: Logic, Symbolic and mathematical
3
3.0
Jul 29, 2019
07/19
by
Crossley, John N
texts
eye 3
favorite 0
comment 0
225 p. ; 23 cm. --
Topic: Logic, Symbolic and mathematical
36
36
Sep 5, 2019
09/19
by
Schagrin, Morton L
texts
eye 36
favorite 2
comment 0
vii, 247 p. ; 24 cm
Topic: Logic, Symbolic and mathematical -- Programmed instruction
1
1.0
Jun 10, 2021
06/21
by
Zinoviev, Aleksandr, 1922-2006
texts
eye 1
favorite 0
comment 0
xxii, 301 p. 23 cm
Topic: Logic, Symbolic and mathematical
9
9.0
Apr 27, 2019
04/19
by
Beth, Evert Willem
texts
eye 9
favorite 0
comment 0
50 p. 26 cm
Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy
7
7.0
Aug 8, 2019
08/19
by
Honig, William M
texts
eye 7
favorite 0
comment 0
xviii, 280 p. : 22 cm
Topics: Logic, symbolic and mathematical, Mathematical physics, Metric spaces, Nonstandard mathematical...
3
3.0
Jul 29, 2020
07/20
by
Küng, Guido
texts
eye 3
favorite 0
comment 0
xi, 213 p. 22 cm
Topics: Analysis (Philosophy), Logic, Symbolic and mathematical, Semantics (Philosophy)
28
28
Sep 10, 2019
09/19
by
Pólya, George, 1887-1985
texts
eye 28
favorite 1
comment 0
2 v. : 25 cm
Topics: Logic, Symbolic and mathematical, Mathematics -- Philosophy
13
13
Jun 13, 2019
06/19
by
Felscher, Walter
texts
eye 13
favorite 2
comment 0
3 v. : 24 cm
Topic: Logic, Symbolic and mathematical
46
46
Sep 5, 2019
09/19
by
De Morgan, Augustus, 1806-1871
texts
eye 46
favorite 2
comment 0
xxxi, 355 p. : 23 cm
Topics: Logic, Symbolic and mathematical, Syllogism
21
21
Feb 24, 2020
02/20
by
Black, Max, 1909-1988
texts
eye 21
favorite 0
comment 0
xiv, 219 pages ; 23 cm
Topics: Whitehead, Alfred North, 1861-1947. Principia mathematica, Mathematics -- Philosophy, Logic,...
34
34
Jan 28, 2019
01/19
by
Wilder, Raymond Louis, 1896-
texts
eye 34
favorite 1
comment 0
xiv, 305 p. ; 24 cm
Topics: Logic, Symbolic and mathematical, Mathematics -- Methodology
24
24
Sep 16, 2019
09/19
by
Herbrand, Jacques, 1908-1931
texts
eye 24
favorite 0
comment 0
244 p. : 22 cm
Topic: Logic, Symbolic and mathematical
Microfilm
Topics: Knowledge, Theory of, Logic, Symbolic and mathematical, Belief and doubt
29
29
Jun 21, 2019
06/19
by
Yasuhara, Ann
texts
eye 29
favorite 0
comment 0
xv, 338 p.; 24 cm. -
Topics: Logic, Symbolic and mathematical, Recursive functions
